méthode des tableaux meaning in English

method of analytic tableaux

This section presents the tableau calculus for classical propositional logic.
Cette section présente une méthode des tableaux pour la logique propositionnelle classique.
The tableau method can also determine the satisfiability of finite sets of formulas of various logics.
La méthode des tableaux peut également déterminer la satisfiabilité des ensembles finis de formules de diverses logiques.
Although the fundamental idea behind the analytic tableau method is derived from the cut-elimination theorem of structural proof theory, the origins of tableau calculi lie in the meaning (or semantics) of the logical connectives, as the connection with proof theory was made only in recent decades.
Bien que l'idée fondamentale sous-jacente à la méthode des tableaux est dérivée du théorème d'élimination des coupures de la théorie de la démonstration, les origines du calcul des tableaux se trouvent dans la sémantique des connecteurs logiques, le lien avec la théorie de la preuve ne s'étant effectué que dans les dernières décennies.